Вивчаються властивості, можливо, нескінченного класу ініціальних скінченних автоматів, коли кожен вхід-вихідний сигнал із фіксованої множини породжують не більше як одним станом. Знайдено точні умови скінченності цього класу та його важливих підкласів, а також точні умови існування контрольних експериментів щодо цих класів. Далі визначено умови існування експериментів, що розпізнають такі автомати.

Рассмотрены проблемы синтеза и идентификации конечных автоматов как проблемы восстановления автомата по заданному частичному поведению. Раскрыта сущность понятия дескриптора, которое охватывает ряд частных случаев, важных в теории автоматов (фрагменты, эксперименты, идентификаторы состояний, спецификации). Проанализированы особенности разработки математического аппарата исследования представлений и на его основе получены критерии существования, описана структура, предложены методы построения, определена сложность представлений, а также классических и нетрадиционных экспериментов.

Запропоновано загальний підхід до задачі аналізу фрагмента поведінки автомата на властивість "бути представленням" автомата відносно заданого класу автоматів. Поняття представлення узагальнює поняття контрольного експерименту. Одержано необхідні та достатні умови, за яких фрагмент певно діагностованого порядку 1 автомата без втрати інформації є представленням відносно класу таких автоматів, якщо кількість станів не збільшується. Доведено NP-повноту задачі розпізнавання таких представлень. Надано формалізацію одного з видів атак на криптосистему в межах запропонованого підходу.

Рассмотрена концепция построения многоагентной системы поиска знаний в распределенных неструктурированных информационных источниках. Предложен состав, определены функции и взаимодействия коллективов агентов при решении задачи пополнения знаний интеллектуальных многопредметных обучающих систем.

Розглянуто задачу розпізнавання графу мобільним агентом. Агент рухається графом, змінює та считує помітки на елементах графа, оперує з внутрішньою пам'ятью, в якій він будує представлення досліджуваного графа. Для розпізнавання агент потребує 2 різні кольори, квадратичну пам'ять і кубічне (від числа вершин у графі) число кроків. Метод базується на методі обходу графа в глибину. У цьому разі враховується, що на початку досліджуваний граф не відомий агенту.

Рассмотрена задача определения автономным мобильным роботом (МР) своего положения в среде, моделируемой графом с помеченными вершинами. МР считывает метки текущей вершины и ее окрестности. Он может перемещаться по ребрам графа от вершины к вершине, оставлять маркер в текущей вершине, а также обнаруживать и подбирать маркер в случае его нахождения в текущей вершине. Предложены полиномиальные методы построения и реализации экспериментов по распознаванию начального положения МР, т.е. начальной вершины графа. Эти методы основаны на проверке изоморфизма подграфов, порожденных предполагаемыми начальными вершинами.

Предложен новый алгоритм анализа языков, порожденных графами с помеченными вершинами и дугами. Он позволяет находить алгебраическое выражение (в терминах соответствующей алгебры таких языков. Алгоритм основан на локальной редукции графа, т.е. на последовательном исключении его вершин и дуг. Предложен порядок редукции, при котором исключение вершин проводится от финальной к начальной, а также упрощение графа в процессе редукции, что зачастую позволяет уменьшить объем вычислений.

Рассмотрена задача построения автономным мобильным роботом топологической модели своей операционной среды. Модель среды представляет собой связный неориентированный граф с помеченными вершинами. Предложен полиномиальный алгоритм восстановления и разметки графа среды для коллектива из робота-супервизора и робота-исследователя.